König des ostfränkischen Reiches = Könige der Franken